S. Iwata; "Some results on modal logics having arithmetical interpretations"
https://da.lib.kobe-u.ac.jp/da/kernel/D1007785/D1007785.pdf